Monica, Dario Della: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

When are prime formulae characteristic?

Aceto, Luca, Della Monica, Dario, Fábregas, Ignacio, Ingólfsdóttir, Anna

Journal:

Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 1.50 MB

english, 2018

2

[IEEE 2013 20th International Symposium on Temporal Representation and Reasoning (TIME) - Pensacola, FL (2013.09.26-2013.09.28)] 2013 20th International Symposium on Temporal Representation and Reasoning - A Complete Classification of the Expressiveness of Interval Logics of Allen's Relations over Dense Linear Orders

Aceto, Luca, Della Monica, Dario, Ingolfsdottir, Anna, Montanari, Angelo, Sciavicco, Guido

Year:

2013

Language:

english

File:

PDF, 440 KB

english, 2013

3

Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings

Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 374 KB

english, 2010

4

Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders

Dario Della Monica, Valentin Goranko, Guido Sciavicco

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 271 KB

english, 2011

5

Tprg, a Gene Predominantly Expressed in Skin, Is a Direct Target of the Transcription Factor p63

Antonini, Dario, Dentice, Monica, Mahtani, Parvesh, De Rosa, Laura, Gatta, Giusy Della, Mandinova, Anna, Salvatore, Domenico, Stupka, Elia, Missero, Caterina

Journal:

The Journal of Investigative Dermatology

Year:

2008

Language:

english

File:

PDF, 2.32 MB

english, 2008

6

On a Logic for Coalitional Games with Priced-Resource Agents

Dario Della Monica, Margherita Napoli, Mimmo Parente

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 287 KB

english, 2011

7

Metric propositional neighborhood logics on natural numbers

Davide Bresolin, Dario Della Monica, Valentin Goranko, Angelo Montanari, Guido Sciavicco

Journal:

Software & Systems Modeling

Year:

2013

Language:

english

File:

PDF, 682 KB

english, 2013

8

The dark side of interval temporal logic: marking the undecidability border

Bresolin, Davide, Monica, Dario Della, Goranko, Valentin, Montanari, Angelo, Sciavicco, Guido

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2014

Language:

english

File:

PDF, 962 KB

english, 2014

9

Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity

Bresolin, Davide, Della Monica, Dario, Montanari, Angelo, Sala, Pietro, Sciavicco, Guido

Journal:

Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 1.70 MB

english, 2014

10

Announcement

Bresolin, Davide, Della Monica, Dario, Montanari, Angelo, Sala, Pietro, Sciavicco, Guido

Journal:

Animal Reproduction Science

Year:

1982

Language:

english

File:

PDF, 25 KB

english, 1982

11

The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT

Davide Bresolin,Dario Della Monica…

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2014

Language:

english

File:

PDF, 655 KB

english, 2014

12

[IEEE 2009 16th International Symposium on Temporal Representation and Reasoning (TIME) - Bressanone-Brixen, Italy (2009.07.23-2009.07.25)] 2009 16th International Symposium on Temporal Representation and Reasoning - Undecidability of Interval Temporal Logics with the Overlap Modality

Bresolin, Davide, Monica, Dario Della, Goranko, Val, Montanari, Angelo, Sciavicco, Guido

Year:

2009

Language:

english

File:

PDF, 319 KB

english, 2009

13

[IEEE 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME) - L beck , Germany (2011.09.12-2011.09.14)] 2011 Eighteenth International Symposium on Temporal Representation and Reasoning - The Light Side of Interval Temporal Logic: The Bernays-Schönfinkel's Fragment of CDT

Bresolin, Davide, Monica, Dario Della, Montanari, Angelo, Sciavicco, Guido

Year:

2011

Language:

english

File:

PDF, 233 KB

english, 2011

14

[IEEE 2011 Eighteenth International Symposium on Temporal Representation and Reasoning (TIME) - L beck , Germany (2011.09.12-2011.09.14)] 2011 Eighteenth International Symposium on Temporal Representation and Reasoning - The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border

Bresolin, Davide, Monica, Dario Della, Goranko, Valentin, Montanari, Angelo, Sciavicco, Guido

Year:

2011

Language:

english

File:

PDF, 259 KB

english, 2011

15

[IEEE 2010 17th International Symposium on Temporal Representation and Reasoning (TIME) - Paris, France (2010.09.6-2010.09.8)] 2010 17th International Symposium on Temporal Representation and Reasoning - A Decidable Spatial Generalization of Metric Interval Temporal Logic

Bresolin, Davide, Sala, Pietro, Della Monica, Dario, Montanari, Angelo, Sciavicco, Guido

Year:

2010

Language:

english

File:

PDF, 343 KB

english, 2010

16

A complete classification of the expressiveness of interval logics of Allen’s relations: the general and the dense cases

Aceto, Luca, Della Monica, Dario, Goranko, Valentin, Ingólfsdóttir, Anna, Montanari, Angelo, Sciavicco, Guido

Journal:

Acta Informatica

Year:

2016

Language:

english

File:

PDF, 1.08 MB

english, 2016

17

A low power bioimpedance module for wearable systems

Rossi, Stefano, Pessione, Marco, Radicioni, Valeria, Baglione, Giovanni, Vatteroni, Monica, Dario, Paolo, Della Torre, Luigi

Journal:

Sensors and Actuators A: Physical

Year:

2015

Language:

english

File:

PDF, 1.46 MB

english, 2015

18

Beyond ω-regular languages: ωT-regular expressions and their automata and logic counterparts

Barozzini, David, de Frutos-Escrig, David, Della Monica, Dario, Montanari, Angelo, Sala, Pietro

Journal:

Theoretical Computer Science

Year:

2020

Language:

english

File:

PDF, 3.45 MB

english, 2020